hypothéticodéductif, ive [ ipɔtetikodedyktif, iv ] adj.
Encyclopédie Universelle. 2012.
SATO (logiciel) — SATO (pour Système d analyse de texte par ordinateur) est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu par François Daoust de l Université du Québec à Montréal au Québec (Canada). SATO permet à… … Wikipédia en Français
Sato (logiciel) — SATO (pour Système d analyse de texte par ordinateur) est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu par François Daoust de l Université du Québec à Montréal au Québec (Canada). SATO permet à… … Wikipédia en Français
complétude — [ kɔ̃pletyd ] n. f. • 1928; de complet, d apr. incomplétude ♦ Didact. Caractère de ce qui est complet, achevé. (1969) Épistém. Caractère d un système hypothéticodéductif qui ne contient pas de propositions indécidables. ● complétude nom féminin… … Encyclopédie Universelle
décidable — [ desidabl ] adj. • 1957; de décider ♦ Log. Se dit d un système hypothéticodéductif dont on peut déterminer par un procédé effectif (cf. Méthode de décision) qu une proposition quelconque est démontrable. ⇒ résoluble. Par ext. Se dit des… … Encyclopédie Universelle
déductif — déductif, ive [ dedyktif, iv ] adj. • 1842; lat. deductum, de deducere → déduire ♦ Philos. Qui procède par déduction (II). ⇒ démonstratif, discursif; hypothéticodéductif. Raisonnement déductif, qui présente un caractère rigoureux et aboutit à une … Encyclopédie Universelle
incomplétude — [ ɛ̃kɔ̃pletyd ] n. f. • 1903; de incomplet 1 ♦ Psychol. Sentiment d incomplétude : sentiment d inachevé, d insuffisant que certains malades éprouvent à propos de leurs pensées, de leurs actes, de leurs émotions. ⇒ psychasthénie. 2 ♦ (1969; de in… … Encyclopédie Universelle
logicomathématique — [ lɔʒikomatematik ] adj. • v. 1960; de logique et mathématique ♦ Didact. Qui appartient à la logique et aux mathématiques en tant que systèmes axiomatisés. Structures logicomathématiques. « la distinction essentielle entre la connaissance logico… … Encyclopédie Universelle
